vmx: Restore correct host SYSENTER parameters on vmexit.
authorKeir Fraser <keir@xensource.com>
Tue, 13 Nov 2007 19:05:27 +0000 (19:05 +0000)
committerKeir Fraser <keir@xensource.com>
Tue, 13 Nov 2007 19:05:27 +0000 (19:05 +0000)
commitdd7c8c5aef8d00d6bc6c93e5678e497b8af0dd5e
treeb9dbedb6672c8ff07a7ab0dc9e9f4fca0fa60b37
parent9e2034fe2d1d5dbdf6c5679a097358340bfd099a
vmx: Restore correct host SYSENTER parameters on vmexit.
Also simplify vmx_set_host_env().
HOST_GDT_BASE does not have to change when we shift CPU.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/hvm/vmx/vmcs.c
xen/include/asm-x86/hvm/vmx/vmcs.h